|
|
Static Value Analysis over C Programs
Ďuričeková, Daniela ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
Value-range analysis is a static analysis technique based on arguing about the values that a variable may take on a given program point. It can be used to prove absence of run-time errors such as out-of-bound array accesses. Since value-range analysis collects information on each program point, data-flow analysis can be used in association with it. The main goal of this work is designing and implementing such a value-range analysis tool. The work begins with an introduction into the topic, an explanation of data-flow and value-range analyses and a description of abstract interpretation, which provides the formal basis of the analyser. The core of this work is the design, implementation, testing and evaluation of the analyser. In the conclusion, our personal experience obtained in the area of the thesis is mentioned, along with a discussion of a possible future development of the designed tool.
|
|
|
Managing and financing of the Czech Table Tennis Association
HOUDKOVÁ, Helena
This work analyzes the management system of the Czech Table Tennis association and the allocation of funds from the Ministry of Education, Youth and Sports of the Czech Republic. The theoretical part is based on knowledge of the issue and describes the specifics of the finan-ces and management of non-profit organizations. The practical part is aimed to suggest the possible alternatives to improve the current situation and recommendations for proposals for adjustments for the decision of the Ministry of Education, Youth and Sports to better meet the needs of the union. The contribution of this work is to reveal problems and trends concerning sport and its financing,studying and analyzing the topic of the union.
|
|
|
The Interest Group the Union of Cities, Towns and Communities of the Czech Republic in the Process of Public Policy in the Czech Republic
Srnová, Eva ; Kotlas, Petr (advisor) ; Linek, Lukáš (referee)
Diploma thesis "The Interest Group the Union of Cities, Towns and Communities of the Czech Republic in the Process of Public Policy in the Czech Republic" is a deeper analysis of one of the important interest groups associating cities, towns and communities in the Czech public space, the Union of Cities, Towns and Communities of the Czech Republic. Activities of the Union and its contribution to the Czech public policy are in depth analyzed against a background of social movements and the theory of interest groups. The Union is assessed from the perspective of its history, types of interest groups and resources it manages (namely the membership base, financial means and means of public policy lobbying). The analysis indicates that the negative image that lobbying has in the Czech Republic needs not necessarily be fair. As an organization addressing peer groups, yet defending public interests due to the fact that the Union's members are as a part of public administration municipalities, the Union advocates those things that finally bring positive effects to lives of all citizens in the Czech Republic. In relation to challenges the Union currently faces the thesis covers also a case study of emergence of Sdružení místních samospráv. This Association of Local Governments that pursuant to the amended...
|
|
|
The reflection of social changes during the period between September 1938 and December 1939 in a football environment according to the Rekord magazine
Kliment, Alexandr ; Bednařík, Petr (advisor) ; Kraus, Jiří (referee)
The thesis "The reflection of social changes during the period between September 1938 and December 1939 in a football environment according to the Rekord magazine" deals with the events forming Czech society during the period of the Munich crisis, The Second Republic and the first months of the Protectorate of Bohemia and Moravia in connection with football organizations. It analyses the key moments that influenced individual components of public life. The study deals with general circumstances and the historical context. It analyses the way in which Rekord, the official bulletin of The Football Association and The Football Federation, used to work with these facts. The text discusses important matches with the political background, organizational changes in a football environment caused by new conditions, unifying trends, anti-Semitic arrangements, disestablishment of professionalism or Slovaks' effort to gain autonomy. It also deals with the direct impact of occupation of border regions and later of all Bohemian lands, influencing community life and the run of all championship competitions. The Czech self-determination in sport after the constitution of the protectorate in March 1939 and international contacts of Czech football teams until the end of the year 1939 is also included in the text....
|
|
|
Lattice constructions and Priestley duality
Hartman, Juraj ; Růžička, Pavel (advisor) ; Tůma, Jiří (referee)
In this thesis after recalling some basic definitions and theorems in category theory, lattice theory and topology we first introduce the so called Stone duality of the category of boolean lattices and the category of boolean topological spaces. Then we introduce its generalization, the so called Priestley duality of the category of bounded distributive lattices and the category of total order disconnected topological spaces. Then we introduce the M3[.] lattice construction and prove that for every bounded distributive lattice L there is an isomorphism from the lattice M3[L] to the lattice of all continuous monotone maps from the Priestley space of L to the lattice M3 with discrete topology. Finally we introduce the so called boolean power, which we generalize to the so called priestley power and we prove that for every natural number n ≥ 3 and every bounded distributive lattice L there is an isomorphism from the lattice Mn to the priestley power of the lattice Mn by the lattice L. 1
|
|
|
Marketing communication of the Czech Baseball association
Rovňanová, Michaela ; Voráček, Josef (advisor) ; Procházka, Jan (referee)
Title: Marketing communication of the Czech Baseball Association Objectives: The aim of this work is to submit suggestions and recommendations for improvement of Czech Baseball Association marketing communication. Proposals and recommendations will be formed on the basis of an evaluation of the current situation of the Association's marketing communication. Methods: Both quantitative and qualitative methods were used for data collection. The biggest benefit was the personal questioning of fans at the beginning of the Czech major league, on the basis of which a questionnaire for electronic interviewing was set up at the September final matches of the baseball league. For more information about current marketing communication was used an analysis of internal documents, websites, social networks, and a participant observation of the Czech Baseball Association strategic marketing meeting was conducted. A semi-structured interview with an expert was also conducted on the topic of marketing communication of Czech Baseball Association. I compared the obtained data on marketing communication in selected periods and evaluated them. The theoretical part was elaborated on the basis of study of professional literature. Results: Federation has a great potential because it only uses marketing communication in a...
|
|
|
Static Value Analysis over C Programs
Ďuričeková, Daniela ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
Value-range analysis is a static analysis technique based on arguing about the values that a variable may take on a given program point. It can be used to prove absence of run-time errors such as out-of-bound array accesses. Since value-range analysis collects information on each program point, data-flow analysis can be used in association with it. The main goal of this work is designing and implementing such a value-range analysis tool. The work begins with an introduction into the topic, an explanation of data-flow and value-range analyses and a description of abstract interpretation, which provides the formal basis of the analyser. The core of this work is the design, implementation, testing and evaluation of the analyser. In the conclusion, our personal experience obtained in the area of the thesis is mentioned, along with a discussion of a possible future development of the designed tool.
|
guest ::
